Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation

Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation

The dataflow language Lucid applies concepts from intensional logic to declarative ISWIM expressions which are intensionalised relative to the dimension of time, thus introducing the notion of an expression’s history. Lucian, a language derived from Lucid, embeds dataflow into object-orientation allowing the intensionalisation of objects. Lucian introduces the notion of a declarative intensiona...

Integrating Dataflow Abstractions into Transactional Memory

Many concurrent programs require some form of conditional synchronization to coordinate the execution of different program tasks. Programming these algorithms using transactional memory (TM) often results in a high conflict rate between transactions. In this paper we propose an Atomic dataflow model ADF, which aims to reduce transaction conflicts by incorporating dataflow scheduling principles ...

Compiling Multi-Paradigm Declarative Programs into Prolog

This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of Curry, is obtained by transforming Curry programs into Prolog programs. Contrary to previous transformations of functional logic programs into Prolog, our implementation includes new mechanisms for both efficiently p...

Integrating Action Definitions into Concurrent Declarative Programming

The semantics of a process defines the actions it can execute. Thus actions constitute an essential notion for concurrent systems. In this paper, we tackle the problem of integrating the definition of actions within the context of concurrent constraint functional logic programming. We propose to define actions in a meta-language, where abstract data types of programs are available, as functions...

Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling